<body>
Determines the components of an execution trace.  
</body>